41. Algebraic Informatics
پدیدآورنده: \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,مهندسی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
43. Annual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده: Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
44. Application Development Systems :
پدیدآورنده: edited by Tosiyasu L. Kunii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer-aided design.,Engineering.,Physics.
رده :
QA76
.
9
.
S88
E358
1986
45. Applications to Data Collection, Transcriptionand Assessment-Crowdsourcing for Speech Processing
پدیدآورنده: / naziفEsk
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: MINERAL PROCESSING& ELECTRONIC|MINING &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
46. Applied Computer Sciences in Engineering
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses,Engineering -- Data processing -- Congresses,علوم کامپیوتر -- کنگره‌ها,مهندسی -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
47. Applied Computer Sciences in Engineering
پدیدآورنده: \ [Edited by] Juan Carlos Figueroa-García...[et.all
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer-aided engineering -- Congresses.,Engineering -- Data processing -- Congresses.,مهندسی به کمک کامپیوتر -- کنگره‌ها,مهندسی -- داده‌پردازی -- کنگره‌ها
رده :
E-Book
,
48. Applied Evolutionary Algorithms in Java
پدیدآورنده: by Robert Ghanea-Hercock.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Electronic data processing.
49. Applied Maple for engineers and scientists
پدیدآورنده: / Chris Tocci, Steve Adams
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Maple (Computer file),Engineering mathematics , Data processing,Science , Mathematics , Data processing
رده :
E-BOOK
50. Applied Maple for engineers and scientists
پدیدآورنده: / Chris Tocci, Steve Adams
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Maple (Computer file),Engineering mathematics--Data processing,Science--Mathematics--Data processing
رده :
TA
,
345
,.
T63
,
1996
51. Applied parallel computing : Computations in physics, chemistry and engineering : Second International Workshop, PARA '95, Lyngby, Denmark, August 21-24, 1995 : proceedings
پدیدآورنده: Jack Dongarra, Kaj Madsen, Jerzy Wasniewski, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Parallel processing )Electronic computers(,Data processing -- Congresses ، Physics,Data processing -- Congresses ، Chemistry,Data processing -- Congresses ، Engineering
رده :
QA
76
.
L28
Vol
.
1041
52. Applied scientific computing :
پدیدآورنده: Peter R. Turner, Thomas Arildsen, Kathleen Kavanagh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics-- Data processing.,Python (Computer program language),3D graphics & modelling.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Programming-- Algorithms.,Mathematical theory of computation.,Mathematics-- Applied.,Mathematics-- Data processing.,Maths for engineers.,Maths for scientists.,Python (Computer program language)
رده :
QA76
.
95
53. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده: Manuel Nunez ...]et al.[ )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
54. Architectures for baseband signal processing
پدیدآورنده: / Frank Kienle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mobile communication systems, Design and construction,Radio, Transmitter-receivers, Design and construction,Signal processing, Digital techniques,Engineering,Circuits and Systems,Processor Architectures,Signal, Image and Speech Processing,TECHNOLOGY & ENGINEERING, Mechanical, bisacsh
رده :
E-BOOK
55. Artificial intelligence and expert systems for engineers
پدیدآورنده: / C.S. Krishnamoorthy, S. Rajeev
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Expert systems (Computer science),Artificial intelligence.,Engineering--Data processing
رده :
QA
,
76
.
76
,.
E95
,
K75
,
1996
56. Artificial intelligence and expert systems for engineers
پدیدآورنده: / C.S. Krishnamoorthy, S. Rajeev
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Expert systems (Computer science),Artificial intelligence,Engineering- Data processing
رده :
QA76
.
76
.
E95
,
K75
1996
57. Artificial neural networks
پدیدآورنده: Kevin L. Priddy and Paul E. Keller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Neural networks (Computer science)
58. Artificial neural networks in biological and environmental analysis
پدیدآورنده: / Grady Hanrahan
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Artificial intelligence--Biological applications,Biology--Data processing,Environmental engineering--Data processing,Neural networks (Computer science)--Scientific applications
رده :
QH324
.
25
.
H36
2011
59. Asking the right questions about electronic voting
پدیدآورنده: / Richard Celeste, Dick Thornburgh, and Herbert Lin, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Electronic voting United States,Elections United States- Data processing,Voting- Technological innovations
رده :
JK1985
.
A85
2006
60. Asking the right questions about electronic voting
پدیدآورنده: / Richard Celeste, Dick Thornburgh, and Herbert Lin, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Electronic voting United States,Elections United States- Data processing,Voting- Technological innovations
رده :
JK1985
.
A85
2006
